Mark test_compact_manydomains as multicore

diff --git a/debian/patches/Mark-test_compact_manydomains-as-multicore.patch b/debian/patches/Mark-test_compact_manydomains-as-multicore.patch
new file mode 100644 (file)
index 0000000..cc1dbf0
--- /dev/null
+++ b/debian/patches/Mark-test_compact_manydomains-as-multicore.patch
@@ -0,0 +1,18 @@
+From: =?utf-8?q?St=C3=A9phane_Glondu?= <glondu@debian.org>
+Date: Mon, 15 Dec 2025 07:11:39 +0100
+Subject: Mark test_compact_manydomains as multicore
+
+---
+ testsuite/tests/compaction/test_compact_manydomains.ml | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/testsuite/tests/compaction/test_compact_manydomains.ml b/testsuite/tests/compaction/test_compact_manydomains.ml
+index 6d26260..6441fe8 100644
+--- a/testsuite/tests/compaction/test_compact_manydomains.ml
++++ b/testsuite/tests/compaction/test_compact_manydomains.ml
+@@ -1,4 +1,5 @@
+ (* TEST
++ multicore;
+ *)
+ 
+ let num_domains = 20

diff --git a/debian/patches/series b/debian/patches/series
index e0d2d81ff4276cf98827ee181825316c4d6fe983..73003fc9551e25c446bb9c8fb2010981bd04a61a 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@ Put-manpages-in-section-3o-instead-of-3.patch
 Trigger-output-complete-exe-on-custom-with-an-enviro.patch
 Do-not-error-on-warnings-in-autoconf.patch
 Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
+Mark-test_compact_manydomains-as-multicore.patch